Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications
نویسندگان
چکیده
In this paper we describe our experiment using an extension of the deductive database system LDL ++ AOTZ93, AOZ93, AO93] to express situations that need spatio-temporal reasoning in Sea monitoring. The temporal extension we used is LDLT DM94], a temporal database proposal that integrates the expressiveness and deductive power of the logic language LDL NT88] with the possibility to perform temporal reasoning based on the Interval Algebra by Allen All83]. The aim of our work is to realize an eecient integration between Deductive Databases and Geographical Information Systems (GIS) to study the advantages that the integration can bring to both of them. We want to understand, from one side, the adaptability and the contribution that Deductive Databases technology can give to GIS and from the other side, which kind of temporal reasoning GIS need or which applications GIS are addressed to. In particular, using the Sea monitoring application problem, it can be seen how a minimal temporal extension of a deductive database system can express complex spatio-temporal queries.
منابع مشابه
Deductive and Inductive Reasoning on Spatio-Temporal Data
We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deductive and inductive capabilities. It can be exploited for a deductive rule-based approach to represent domain knowledge on data. Furthermore it is well suited to model trajectories of moving objects, which can be analysed by using ...
متن کاملContext-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملA Unified Framework for Fuzzy Spatio-Temporal Representation and Reasoning
Abstract. Recently, the interest has been focused on dynamic applications with geographic reference. These applications are commonly called as spatio-temporal applications and examine phenomena, which occur in specific geographical regions and change over time. In addition, data collected to model and analyze a phenomenon are accompanied with uncertainty. Current GIS technology turns out to be ...
متن کاملComputationally Feasible Query Answering over Spatio-thematic Ontologies
Providing query answering facilities at the conceptual level of a geographic data model requires deduction, and deduction in geographical information systems (GIS) is a demanding task due to the size of the data that are stored in secondary memory. In particular, this is the case for deductive query answering w.r.t. spatio-thematic ontologies, which provide a logical conceptualization of an app...
متن کاملA Unified Framework for Fuzzy Spatio-Temporal
Recently, the interest has been focused on dynamic applications with geographic reference. These applications are commonly called as spatio-temporal applications and examine phenomena, which occur in specific geographical regions and change over time. In addition, data collected to model and analyze a phenomenon are accompanied with uncertainty. Current GIS technology turns out to be inefficien...
متن کامل